- immediate generalization
- непосредственное обобщение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
immediate generalization
Смотреть что такое "immediate generalization" в других словарях:
Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
C*-algebra — C* algebras (pronounced C star ) are an important area of research in functional analysis, a branch of mathematics. The prototypical example of a C* algebra is a complex algebra A of linear operators on a complex Hilbert space with two additional … Wikipedia
Noncommutative topology — in mathematics is a term applied to the strictly C* algebraic part of the noncommutative geometry program. The program has its origins in the Gel fand duality between the topology of locally compact spaces and the algebraic structure of… … Wikipedia
Theoretical and experimental justification for the Schrödinger equation — The theoretical and experimental justification for the Schrödinger equation motivates the discovery of the Schrödinger equation, the equation that describes the dynamics of nonrelativistic particles. The motivation uses photons, which are… … Wikipedia
ancient Greek civilization — ▪ historical region, Eurasia Introduction the period following Mycenaean civilization, which ended in about 1200 BC, to the death of Alexander the Great, in 323 BC. It was a period of political, philosophical, artistic, and scientific… … Universalium
Behavior analysis of child development — Child development in behavior analytic theory has origins in John B. Watson s behaviorism.[1] Watson wrote extensively on child development and conducted research (see Little Albert experiment). Watson was instrumental in the modification of… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
philosophy, Western — Introduction history of Western philosophy from its development among the ancient Greeks to the present. This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… … Universalium
